Optimal Pebble Motion on a Tree
نویسندگان
چکیده
In this paper we consider the following pebble coordination problem. Consider a tree with n vertices and k pebbles located at distinct vertices of the tree. Each pebble can be moved from its current position to an adjacent unoccupied vertex. Among the k pebbles, one distinguished pebbles has been assigned a destination. We give an O(n5) algorithm for the problem of designing the shortest sequence of moves that takes the distinguished pebble from its original position to its destination. Our algorithm improves the running time of the best previously presented algorithm that needed to solve O(n6) min-cost flow problems on graphs of size O(n). Our algorithm does not resort to reduction to flow but is instead based on a novel dynamic programming approach.
منابع مشابه
Pebbling Meets Coloring: Reversible Pebble Game On Trees
The reversible pebble game is a combinatorial game played on rooted DAGs. This game was introduced by Bennett [1] motivated by applications in designing space efficient reversible algorithms. Recently, Siu Man Chan [2] showed that the reversible pebble game number of any DAG is the same as its Dymond-Tompa pebble number and Raz-Mckenzie pebble number. We show, as our main result, that for any r...
متن کاملPebble Alternating Tree-Walking Automata and Their Recognizing Power
Pebble tree-walking automata with alternation were first investigated by Milo, Suciu and Vianu (2003), who showed that tree languages recognized by these devices are exactly the regular tree languages. We strengthen this by proving the same result for pebble automata with “strong pebble handling” which means that pebbles can be lifted independently of the position of the reading head and withou...
متن کاملTYPECHECKING K-PEBBLE TREE TRANSDUCERS: PRACTICAL EFFICIENCY k-Pebble Tree Transducerに対する静的型検査の実効率 by
Recently, much attention has been drawn on exact typechecking for non-Turing-complete XML transformation languages, such as XSLT and XML-QL. Milo, Suciu, and Vianu proposed a notion of k-pebble tree transducers, a powerful and general framework that can express most of transformations in such languages, and showed that its exact typechecking is decidable in time hyper-exponential to the number ...
متن کاملThe optimal rubbling number of ladders, prisms and Möbius-ladders
A pebbling move on a graph removes two pebbles at a vertex and adds one pebble at an adjacent vertex. Rubbling is a version of pebbling where an additional move is allowed. In this new move, one pebble each is removed at vertices v and w adjacent to a vertex u, and an extra pebble is added at vertex u. A vertex is reachable from a pebble distribution if it is possible to move a pebble to that v...
متن کاملExpressive Power of Pebble Automata
Two variants of pebble tree-walking automata on trees are considered that were introduced in the literature. It is shown that for each number of pebbles, the two models have the same expressive power both in the deterministic case and in the nondeterministic case. Furthermore, nondeterministic (resp. deterministic) treewalking automata with n+ 1 pebbles can recognize more languages than those w...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Inf. Comput.
دوره 165 شماره
صفحات -
تاریخ انتشار 2001